Fix typos
authorGlenn Morris <rgm@gnu.org>
Wed, 10 Apr 2013 01:20:51 +0000 (18:20 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 10 Apr 2013 01:20:51 +0000 (18:20 -0700)
commit6d678dde6fc7a960c9c622c7fd857a26c6410932
tree38659fa08419de845c2b0af8cb464df0dea14f90
parent9b7617e82fd0087695c94342b1f764d7b3d04e70
Fix typos
etc/PROBLEMS